Knihy od autora Arie Gurfinkel

Zobrazeno 1 – 7 z 7 výsledků

1. 

   Computer Aided Verification

   Vijay Ganesh, Arie Gurfinkel | Springer, Berlin, 2024

   
   

   Skladem u dodavatele - Odesíláme za 5-8 dnů

   Jazyk: Angličtina

   Vazba: Brožovaná

   946 Kč

   Koupit
2. 

   Tools and Algorithms for the Construction and Analysis of Systems

   Arie Gurfinkel, Marjin Heule | Springer, Berlin, 2025

   
   

   Skladem u dodavatele - Odesíláme za 5-8 dnů

   Jazyk: Angličtina

   Vazba: Brožovaná

   946 Kč

   Koupit
3. 

   Computer Aided Verification

   Vijay Ganesh, Arie Gurfinkel | Springer, Berlin, 2024

   
   

   Skladem u dodavatele - Odesíláme za 5-8 dnů

   Jazyk: Angličtina

   Vazba: Brožovaná

   946 Kč

   Koupit
4. 

   Computer Aided Verification

   Arie Gurfinkel, Vijay Ganesh | Springer, Berlin, 2024

   
   

   Skladem u dodavatele - Odesíláme za 5-8 dnů

   Jazyk: Angličtina

   Vazba: Brožovaná

   946 Kč

   Koupit
5. 

   Verified Software: Theories, Tools, and Experiments

   Arie Gurfinkel, Seshia Sanjit | Springer International Publishing AG, 2016

   
   

   Skladem u dodavatele - Odesíláme za 5-8 dnů

   Jazyk: Angličtina

   Vazba: Brožovaná

   1182 Kč

   Koupit
6. 

   Tools and Algorithms for the Construction and Analysis of Systems

   Arie Gurfinkel, Marjin Heule | Springer, Berlin, 2025

   
   

   Skladem u dodavatele - Odesíláme za 5-8 dnů

   Jazyk: Angličtina

   Vazba: Brožovaná

   946 Kč

   Koupit
7. 

   Tools and Algorithms for the Construction and Analysis of Systems

   Arie Gurfinkel, Marjin Heule | Springer, Berlin, 2025

   
   

   Skladem u dodavatele - Odesíláme za 5-8 dnů

   Jazyk: Angličtina

   Vazba: Brožovaná

   946 Kč

   Koupit

Knihy si můžete vyzvednout na mnoha místech po celé ČR. Zjistěte více